(-1 (
	("membership-ends(object:spt-5-1,agent:Person3)" 470 471)
	("membership-ends(object:spt-5-1,agent:Person0)" 480 481)
	("membership-ends(object:spt-5-1,agent:Person1)" 480 481)
	("membership-ends(object:spt-5-1,agent:Person2)" 480 481)
	("pair-50(agent:Person0,agent:Person3)" 1011 1210)
	("pair-50(agent:Person2,agent:Person0)" 547 763)
	("pair-50(agent:Person1,agent:Person2)" 348 481)
	("membership-starts(object:spt-5-1,agent:Person0)" 348 349)
	("membership-starts(object:spt-5-1,agent:Person1)" 348 349)
	("membership-starts(object:spt-5-1,agent:Person2)" 348 349)
	("membership-starts(object:spt-5-1,agent:Person3)" 348 349)
	("pair-65(agent:Person0,agent:Person3)" 1011 1210)
	("pair-65(agent:Person2,agent:Person0)" 551 763)
	("pair-65(agent:Person1,agent:Person2)" 348 481)
	("pair-80(agent:Person0,agent:Person3)" 1076 1210)
	("pair-80(agent:Person2,agent:Person0)" 628 763)
	("movepos(agent:Person1)" 480 481)
	("movepos(agent:Person2)" 762 763)
	("movepos(agent:Person3)" 1209 1210)
	("spt-group(object:spt-5-1)" 348 481)
	("walk(agent:Person1)" 480 481)
	("walk(agent:Person2)" 762 763)
	("walk(agent:Person3)" 1209 1210)
	("spt-group-formation(object:spt-5-1,agent:Person0,agent:Person1,agent:Person3,agent:Person2)" 348 471)
	("spt-group-formation(object:spt-5-1,agent:Person0,agent:Person1,agent:Person2)" 471 481)
	("go(agent:Person1)" 479 481)
	("go(agent:Person2)" 761 763)
	("go(agent:Person3)" 1208 1210)
))
